<html>
<head><meta charset="utf-8"><title>regular meeting time and next steps · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html">regular meeting time and next steps</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="158927165"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927165" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927165">(Feb 19 2019 at 22:51)</a>:</h4>
<p>So I'd like to setup a regular meeting time and I think we should talk about kind of figuring out concrete, actionable next steps. I'd also like to get some idea of who wants to be involved in this effort and how much time they have.</p>
<p>I was telling <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> that I'm aiming to kind of "dial back" my own 'leadership role' when it comes to compiler working groups and focus primarily on Polonius, Traits, and meta + documentation sort of things, at least for now (for want of time, mostly).</p>



<a name="158927266"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927266" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927266">(Feb 19 2019 at 22:53)</a>:</h4>
<p>I think one obvious thing would be just running the existing <code>-Zpolonius</code> integration on some of the perf test cases that caused us trouble (e.g., html5ever?) for NLL. It'd be good to try and come up with a list of which those were</p>



<a name="158927412"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927412" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927412">(Feb 19 2019 at 22:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> remember me what does -Zpolonius does or maybe asked differently what's the current status of rustc and polonius integration that happens with -Zpolonius</p>



<a name="158927435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927435">(Feb 19 2019 at 22:55)</a>:</h4>
<p>I don't remember exactly what things are implemented in Polonius and which ones doesn't</p>



<a name="158927548"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927548" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927548">(Feb 19 2019 at 22:57)</a>:</h4>
<p>Well, good question. Right now -Zpolonius will (I think) run:</p>
<ul>
<li>the MIR borrow check</li>
<li><em>also</em> the polonius check</li>
</ul>
<p>We would therefore expect there to be overhead, I think it's doing twice as much work</p>



<a name="158927557"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927557" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927557">(Feb 19 2019 at 22:57)</a>:</h4>
<p>but what I'm interested in is seeing where we see like 10x perf spikes (or more)</p>



<a name="158927560"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158927560" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158927560">(Feb 19 2019 at 22:57)</a>:</h4>
<p>Let's spin off a topic on this actually</p>



<a name="158945134"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/regular%20meeting%20time%20and%20next%20steps/near/158945134" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/regular.20meeting.20time.20and.20next.20steps.html#158945134">(Feb 20 2019 at 04:27)</a>:</h4>
<p>I said so before, but just to put it on the record; I have roughly 20 weeks full time, under the assumption that I can work on things that can be squeezed into the format of a Master's project.</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>